361. oriented formal language and method :-Structured object

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Formal methods (Computer science) ; Congresses. ;

362. the next 30 years :--Formal methods

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Formal methods (Computer science) ; Congresses. ;

363. time systems-Formal methods and hybrid real

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : time data processing ; Congresses. ; - ; Chaochen, Zhou. ; Formal methods (Computer science) ; Congresses. ; Real-Bj?rner, D. ; (Dines), ; 1937

364. xiv, 237 p. :

پدیدآورنده :

کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)

365. xviii, 5,Intern

پدیدآورنده :

کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)